home *** CD-ROM | disk | FTP | other *** search
/ CU Amiga Super CD-ROM 24 / CU Amiga Magazine's Super CD-ROM 24 (1998)(EMAP Images)(GB)(Track 1 of 2)[!][issue 1998-07].iso / CUCD / Programming / SWI / source / src / pl-store.c < prev    next >
Encoding:
Text File  |  1995-04-18  |  1.1 KB  |  57 lines
  1. /*  $Id: pl-store.c,v 1.1 1995/04/18 12:29:42 jan Exp $
  2.  
  3.     Designed and implemented by Jan Wielemaker
  4.     E-mail: jan@swi.psy.uva.nl
  5.  
  6.     Copyright (C) 1995 University of Amsterdam. All rights reserved.
  7. */
  8.  
  9. /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
  10. Machine independent saved-state format and object  format (should be the
  11. same).
  12.  
  13. <XR>  ::= <atom>
  14.     | <string>
  15.     | <functor>
  16.     | <procedure>
  17.     | <integer>
  18.     | <real>
  19.  
  20. File format:
  21.  
  22.     MAGIC
  23.     VERSION INFORMATION
  24.     BYTE ORDER
  25.     OFFSET TABLE
  26.     <atom-table offset>
  27.     <functor-table offset>
  28.     <source-file-table-offset>
  29.     ATOM TABLE
  30.     <size>
  31.     <array of indices, <size> long>
  32.     <text-strings, 0-terminated>
  33.     FUNCTOR TABLE
  34.     <size>
  35.     <array of (atom,arity) tuples, <size> long>
  36.     SOURCE IOSTREAM TABLE
  37.         <size>
  38.     { <atom>            % path-name
  39.       <time>            % last-modification-stamp>
  40.     }
  41.     MODULE ID TABLE
  42.     <size>
  43.     { <atom>            % module-name
  44.     }
  45.     MODULES
  46.         <size>
  47.         <module>
  48.     RECORDS
  49.     FLAGS
  50.     FEATURES
  51.     INITIALISATION GOALS
  52.  
  53. Lazy definition of predicates?
  54.  
  55. - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */
  56.  
  57.